English recursive function theory: переклад на інші мови